*SAT, KSATC, DLP and TA: a comparative analysis
نویسندگان
چکیده
منابع مشابه
Performance of DLP on Random Modal Formulae
A system that correctly reasons with information in an expressive description logic includes a decision procedure for an expressive propositional modal logic. This decision procedure must be heavily optimised if it is to be able to usefully reason with knowledge bases of any complexity. Description logic systems that incorporate a heavily-optimised propositional modal logic decision procedure i...
متن کاملEvaluating Optimised Decision Procedures for Propositional Modal K(m) Satis ability
Heavily-optimised decision procedures for propositional modal satisability are now becoming available. Two systems incorporating such procedures for modal K, Dlp and KsatC, are tested on randomly-generated CNF formulae with several sets of parameters, varying the maximum modal depth and ratio of propositional variable to modal subformulae. The results show some easy-hard-easy behaviour, but the...
متن کاملA New System and Methodology for Generating Random Modal Formulae
Previous methods for generating random modal formulae (for the multi-modal logic K (m)) result either in awed test sets or for-mulae that are too hard for current modal decision procedures and, also, unnatural. We present here a new system and generation methodology which results in unnawed test sets and more-natural formulae that are better suited for current decision procedures. Most empirica...
متن کاملComparative Study of the Efficacy of Topical Tranexamic Acid with Nasal Tampon in Management of Epistaxis: A Randomized Clinical Trial
Background and Aim: Epistaxis is one of the most common symptoms referring to emergency department, which suitable and effective treatment needs in short term. Therefore the purpose of the present study was to compare the outcome of topical tranexamic acid (TA) with nasal tampon in management of epistaxis. Materials and Methods: The present clinical trial study was performed on 150 patients wit...
متن کاملDlp
DLP (for Description Logic Prover) is a description logic system that contains a sound and complete rea-soner for an expressive description logic. DLP is an experimental system, in that it does not contain all the support facilities that one might like in a full description logic system. However, DLP does have an interface that allows the creation and examination of taxonomies of concepts. DLP ...
متن کامل